3.2.2 Real-Time System Tutorial

In this section, we illustrate the RTS module's modeling language using a number of examples.

Fischer's Mutual Exclusion Example

Train Cross Control Example

 

---

Copyright © 2007-2012 Semantic Engineering Pte. Ltd.